جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024 حول جمع التبرعات
2
Collected works. Publications 1938-1974

Collected works. Publications 1938-1974

Kurt Gödel, S. Feferman, John W. Dawson Jr., Stephen C. Kleene, G. Moore, R. Solovay, the late Jean van Heijenoort
عام:
1989
اللغة:
english
ملف:
DJVU, 3.42 MB
0 / 0
english, 1989
5
The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

Stephen Cole Kleene, Richard Eugène Vesley
عام:
1965
اللغة:
english
ملف:
PDF, 9.79 MB
0 / 0
english, 1965
6
Mathematical Logic

Mathematical Logic

Kleene, Stephen Cole
اللغة:
english
ملف:
PDF, 20.09 MB
0 / 0
english
7
Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Rudolf Gödel, Olga Taussky-Todd, Stephen C. Kleene, Georg Kreisel (auth.), Paul Weingartner, Leopold Schmmetterer (eds.)
عام:
1987
اللغة:
english
ملف:
PDF, 10.01 MB
0 / 0
english, 1987
9
Turing's Analysis of Computability and Major Applications of it (Oxford

Turing's Analysis of Computability and Major Applications of it (Oxford

Stephen C Kleene
عام:
1998
اللغة:
english
ملف:
PDF, 1.74 MB
0 / 0
english, 1998
10
Formalized Recursive Functionals and Formalized Realizability

Formalized Recursive Functionals and Formalized Realizability

Stephen C. Kleene
عام:
1969
اللغة:
english
ملف:
PDF, 11.80 MB
0 / 0
english, 1969
11
The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

Stephen Cole Kleene, R.E. Vesley
عام:
1965
اللغة:
english
ملف:
DJVU, 1.59 MB
0 / 0
english, 1965
12
Introducción a la Metamatemática (Colección Estructura y Función N.º 42)

Introducción a la Metamatemática (Colección Estructura y Función N.º 42)

Stephen Cole Kleene
عام:
1974
اللغة:
spanish
ملف:
PDF, 83.95 MB
4.0 / 5.0
spanish, 1974
13
Mathematical Logic

Mathematical Logic

Stephen Cole Kleene
عام:
2002
اللغة:
english
ملف:
DJVU, 3.05 MB
0 / 4.0
english, 2002
15
Mathematical Logic

Mathematical Logic

Stephen Cole Kleene
عام:
1967
اللغة:
english
ملف:
EPUB, 16.61 MB
0 / 0
english, 1967
16
Two Papers on the Predicate Calculus

Two Papers on the Predicate Calculus

Stephen C. Kleene
عام:
1997
اللغة:
english
ملف:
PDF, 4.88 MB
0 / 0
english, 1997
17
Two Papers on the Predicate Calculus

Two Papers on the Predicate Calculus

Stephen C. Kleene
عام:
1997
اللغة:
english
ملف:
DJVU, 1.40 MB
0 / 0
english, 1997
18
Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Rudolf Gödel, Olga Taussky-Todd, Stephen C. Kleene, Georg Kreisel (auth.), Paul Weingartner, Leopold Schmmetterer (eds.)
عام:
1987
اللغة:
english
ملف:
DJVU, 8.29 MB
0 / 0
english, 1987
19
Formalized Recursive Functionals and Formalized Realizability

Formalized Recursive Functionals and Formalized Realizability

Stephen C. Kleene
عام:
1969
اللغة:
english
ملف:
DJVU, 2.35 MB
0 / 0
english, 1969
20
Mathematical logic

Mathematical logic

Stephen Cole Kleene
عام:
2002
اللغة:
english
ملف:
DJVU, 2.92 MB
5.0 / 3.0
english, 2002
21
Mathematical Logic

Mathematical Logic

Stephen Cole Kleene
عام:
2002
اللغة:
english
ملف:
EPUB, 16.61 MB
5.0 / 0
english, 2002
22
Introduction to Metamathematics

Introduction to Metamathematics

Kleene, Stephen Cole
عام:
1971
اللغة:
english
ملف:
DJVU, 4.59 MB
0 / 0
english, 1971
23
Introduction to Metamathematics

Introduction to Metamathematics

Stephen Cole Kleene
عام:
1971
اللغة:
english
ملف:
PDF, 14.50 MB
0 / 5.0
english, 1971